Adaptable Transducers

Adaptable processes

We propose the concept of adaptable processes as a way of overcoming thelimitations that process calculi have for describing patterns of dynamic process evolution.Such patterns rely on direct ways of controlling the behavior and location of runningprocesses, and so they are at the heart of the adaptation capabilities present in manymodern concurrent systems. Adaptable processes ...

Adaptable Components

You are cordially invited to the brief Annual Meeting of the IEEE Computer Society's Technical Council on Software Engineering (TCSE), one of the cosponsors of ICSE! TCSE is now over 11,000 strong worldwide and has many programs and activities to offer to its members. All secrets will be revealed to those who attend: Wednesday, May 19, from 5:30 p.m. to 6:00 p.m. in the St. Louis Room. I hope t...

Adaptable Architecture

In this paper a framework is created for categorizing adaptable architecture. The term adaptable architecture describes an architecture from which specific components can be changed in response to external stimuli, for example the users or environment. This change could be executed by the building system itself, transformed manually or could be any other ability to transform by an external forc...

Symbolic Transducers

Symbolic Finite Transducers, or SFTs, is a representation of finite transducers that annotates transitions with logical formulae to denote sets of concrete transitions. This representation has practical advantages in applications for web security analysis, as it provides ways to succinctly represent web sanitizers that operate on large alphabets. More importantly, the representation is also con...

Iterating Transducers